mailmap: added/clarified several names 
diff --git a/docs/THANKS b/docs/THANKS index f71a3f1..b4125e9 100644 --- a/docs/THANKS +++ b/docs/THANKS 
@@ -1169,7 +1169,7 @@  Pavel Cenek  Pavel Gushchin  Pavel Orehov -Pavel P +Pavel Pavlov  Pavel Raiskup  Pavel Rochnyak  Pavol Markovic